Henry Prakken and Marek Sergot Dyadic Deontic Logic and Contrary-to-duty Obligations
نویسنده
چکیده
One of the main issues in the discussion on standard deontic logic (SDL) is the representation of contrary-to-duty (CTD) obligations. A well-known example is Forrester’s (1984) paradox of the gentle murderer: it is forbidden to kill, but if one kills, one ought to kill gently. Intuitively, one would feel that these sentences are consistent, but in SDL no (obvious) consistent formalisation is available: assuming that logically implies , the formalisation
منابع مشابه
Contrary-to-Duty Obligations
We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We pro...
متن کاملAnnals of Mathematics and Artiical Inteligence 0 (2000) ?{? 1 Contrary-to-duty Reasoning with Preference-based Dyadic Obligations
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. In our preference-based interpretation of obligations`should be (done) if is (done)' is true if (1) no : ^ state is as preferable as an ^ state and (2) the preferred states are states. We show that this representation solves diierent problems of deontic logic. The rst part of the deenition is us...
متن کاملTwo Approaches to the Formalisation of Defeasible Deontic Reasoning
This paper compares two ways of formalising defeasible deontic reasoning , both based on the view that the issues of connicting obligations and moral dilemmas should be dealt with from the perspective of nonmonotonic reasoning. The rst way is developing a special non-monotonic logic for deontic statements. This method turns out to have some limitations, for which reason another approach is reco...
متن کاملA deontic logic framework allowing for factual detachment
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitments of the form “A commits you to do/bring about B”. It is commonly agreed that monadic approaches are only suboptimal for this task since they have several shortcomings, for instance their falling short of giving a sa...
متن کاملContrary to Duty Obligations A Study in Legal Ontology
In this paper the problems in deontic logic around contrary to duty obligations are used to conduct a study in basic normative ontology. Three causes of the problems around contrary to duty obligations are identified, that is 1) the attempt to analyze obligations in terms of what is ideally the case, 2) the application of deontic inheritance to the presuppositions of obligations, and 3) the fai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997